Философский энциклопедический словарь - косвенное доказательство
Связанные словари
Косвенное доказательство
косвенное доказательство
— вид логического доказательства, отличающийся способом обоснования тезиса. В отличие от прямого доказательства в К. Д. истинность доказываемого тезиса обосновывается посредством установления ложности нек-рых положений. Последние так связаны с доказываемым тезисом, что из их ложности следует истинность тезиса. Существуют разные виды К. д. В разделительном К. Д. рассматривается нек-рое число предположении, в совокупности исчерпывающих все возможные в данном случае утверждения; выясняется ложность всех предположений, кроме одного, истинность к-рого, т. обр., и устанавливается. Др. вид К. Д.— апагогическое доказательство (доказательство от противного) , в ходе к-рого получают логическое противоречие из допущения истинности антитезиса (утверждения, противоречащего доказываемому тезису) и на этом основании делают заключение об истинности тезиса.
Рейтинг статьи:
См. в других словарях
Философский энциклопедический словарь
2.
доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения. При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. В К. д. рассуждение идет как бы окольным путем. Прямые аргументы для выведения из них доказываемого положения не отыскиваются. Вместо этого формулируется антитезис, отрицание этого положения, и тем или иным способом показывается его несостоятельность. Поскольку К. д. использует отрицание доказываемого положения, оно называется также доказательством от противного. Напр., врач, убеждая пациента, что тот не болен малярией, может рассуждать так: "Если бы действительно была малярия, имелся бы ряд характерных для нее симптомов, в частности общая слабость и озноб. Однако таких симптомов нет. Значит, нет и малярии". К. д. проходит, таким образом, следующие этапы: выдвигается антитезис и из него выводятся следствия с намерением найти среди них ложное; устанавливается, что в числе следствий действительно есть ложное; делается вывод, что антитезис неверен; из ложности антитезиса...Словарь по логике
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2503 | |
2 | 2321 | |
3 | 1990 | |
4 | 1976 | |
5 | 1924 | |
6 | 1829 | |
7 | 1723 | |
8 | 1659 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1380 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1062 | |
18 | 1060 | |
19 | 1035 | |
20 | 962 |